Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language

Source URL: dept.cs.williams.edu

Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu*, Keisuke Nakano* Makoto Hamana**, Masato Takeichi*

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Bidirectionalization
• Database theory
• Joint Electronics Type Designation System
• Combinatory logic
• Computing
• Military
• Electronics

1 CHEAT SHEET: BASIC PYTHON CODING FOR JOURNALISTS | TOMMY KAAS, KAAS & MULVAD Find me on Twitter: @tbkaas GLOBAL INVESTIGATIVE JOURNALISM CONFERENCE – LILLEHAMMER, NORWAY 2015 The screenshots below are almost all fro

Source URL: 46.38.172.73

• Data types
• Object-oriented programming languages
• High-level programming languages
• Type theory
• Scripting languages
• Len
• Python
• Sequence
• D
• Variable
• String
• Type system

JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user

Source URL: homes.cs.washington.edu

• Computing
• Java
• Type theory
• Swing
• Type system

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin, Adriaan Moors, Martin Odersky FOOL 2012

Source URL: lampwww.epfl.ch

Tutorial: Using Thymeleaf Document version: December 2014 Project version: 2.1.4.RELEASE Project web sit e: http://www.thymeleaf.org

Source URL: www.thymeleaf.org

• HTML
• Markup languages
• Scripting languages
• Technical communication
• Template engines
• Thymeleaf
• XHTML
• Document type declaration
• Web template system
• HTML5
• OGNL
• Document type definition

Keir, M.E., Butte, M.J., Freeman, G.J., and Sharpe, A.HAnnu. Rev. Immunol. 26, 677–704. Larkin, J., Chiarion-Sileni, V., Gonzalez, R., Grob, J.J., Cowey, C.L., Lao, C.D., Schadendorf, D., Dummer, R., Smylie,

Source URL: www.microfluidics.ethz.ch

• Medicine
• Immunology
• Immune system
• Biology
• T cells
• Antigen presenting cells
• Macrophages
• T helper cell
• Antigen presentation
• Dendritic cell
• Interferon type I
• Innate immune system

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic